Loft + Cyclone
نویسنده
چکیده
This paper reports on an experiment to add concurrency to the Cyclone programming language, in order to get a safe concurrent language. The basic model considered is that of FairThreads in which synchronous and asynchronous aspects are mixed. The language Loft implements the FairThreads model in C. In this paper, one uses Cyclone instead of C in the implementation of Loft. Using the multi-threaded version of Boehm’s GC, one gets an extension of Cyclone to concurrency which is as safe as Cyclone for sequential code, with some additional safety verifications for concurrent code. Key-words: Reactive programming, Safe programming, Cyclone ∗ with support from ACI Securité Informatique, ALIDECS project
منابع مشابه
Investigation of Separator Cyclone Performance Using CFD Simulation: A Case Study of Cement Industry Cyclone
This paper tends to investigate the performance of a separator cyclone used in cement industries in Iran. This investigation was performed using CFD modeling, which is validated by other valid studies. Separator cyclone performance includes of two important parameters as pressure drop and collection ratio. In this presented study, the pressure drop has been considered to assess the performance ...
متن کاملTesting cognitive navigation in unknown territories: homing pigeons choose different targets.
Homing pigeons (Columba livia) are believed to adopt a map-and-compass strategy to find their way home. Surprisingly, to date a clear demonstration of the use of a cognitive map in free-flight experiments is missing. In this study, we investigated whether homing pigeons use a mental map in which - at an unknown release site - their own position, the home loft and a food loft are represented sim...
متن کاملUsing lexical familiarity judgments to assess verbally mediated intelligence in aphasia.
In this study, a task using forced-choice lexical familiarity judgments of irregular versus archaic words (a newly developed measure called the Lexical Orthographic Familiarity Test; LOFT) was compared to a standardized oral word-reading measure (the Wechsler Test of Adult Reading; WTAR) in a group of 35 aphasic adults and a comparison group of 125 community dwelling, nonbrain damaged adults. W...
متن کاملFacilitating LOFT Debriefings 1 Running head: FACILITATING LOFT DEBRIEFINGS Facilitating LOFT Debriefings: Instructor Techniques and Crew Participation
This study analyzes techniques instructor pilots (IPs) use to facilitate crew analysis and evaluation of LOFT performance. We analyzed IP facilitation and crew participation for 36 debriefing sessions conducted at five U.S. airlines. For this analysis we developed a rating instrument called the Debriefing Assessment Battery (DAB) and demonstrated that it can be used reliably. IP facilitation sk...
متن کامل